Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
611	A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:59 Modal logic Non-classical logic Philosophical logic Model theory Mathematical logic Kripke semantics Substitution Integration by substitution Normal modal logic Linear temporal logic Dirac delta function
612	Model Finding for Recursive Functions in SMT Andrew Reynolds1 , Jasmin Christian Blanchette2,3 , Simon Cruanes2 , and Cesare Tinelli1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-28 12:04:25 Model theory Interpretation First-order logic Symbol Structure operator Principia Mathematica
613	Design of Flight Controllers based on Simplified LPV model of a UAV Kannan Natesan, Da-Wei Gu, Ian Postlethwaite and Jianchi Chen Abstract—In this paper, two strategies for the design of controllers based on a simplifi Add to Reading List Source URL: lra.le.ac.uk Language: English - Date: 2009-06-03 09:33:10 Control theory Linear parameter-varying control Robust control LPV Gain scheduling Control system Controller Synthesizer Nonlinear control
614	Testing new physics with neutrino oscillation experiments David Vanegas Forero Center For Neutrino Physics - Virginia Tech Fermilab Theory Seminar Add to Reading List Source URL: theory.fnal.gov Language: English - Date: 2016-03-31 18:39:37 Electroweak theory Standard Model Neutrinos Leptons Neutrino oscillation Neutrino
615	Exotlst_details_4_21_04.xls Add to Reading List Source URL: www.esd.ornl.gov Language: English - Date: 2004-05-26 15:21:32 Finite model theory Plant taxonomy Computational complexity theory Descriptive complexity Plant reproduction FO Monocotyledon Dicotyledon Seed SO Plant stem HO
616	DESIGN AND IMPLEMENTATION OF MICROCOMPUTER BASED WATER RESOURCES DECISION SUPPORT SYSTEMS Marc P. Armstrong Departments of Geography and Computer Science 316 Jessup Hall Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:25:32 Decision theory Information systems Knowledge engineering Decision support system Database Data model Data definition language Network model William D. Haseman Outline of databases
617	Model-Driven Matching and Segmentation of Trajectories Swaminathan Sankararaman Pankaj K. Agarwal Add to Reading List Source URL: users.cs.duke.edu Language: English - Date: 2015-07-24 06:57:57 Dynamic programming Dynamic time warping Time series analysis Image segmentation Model theory
618	Computa(onal approach to the analysis and forecast of pandemic events Alessandro Vespignani h9p://www.mobs-‐lab.org Add to Reading List Source URL: www.scor.com Language: English - Date: 2016-01-21 17:18:57 Simulation Complex systems theory Scientific modeling Models of computation Agent-based model Artificial life Economic model Conceptual model Complex systems Systems engineering Macroeconomic model Social science
619	Factor-based investing Vanguard Research Scott N. Pappas, CFA; Joel M. Dickson, Ph.D. Add to Reading List Source URL: personal.vanguard.com Language: English - Date: 2015-04-17 09:29:10 Mathematical finance Investment Financial economics Financial markets Fundamental analysis FamaFrench three-factor model Beta Style investing Arbitrage pricing theory Capital asset pricing model Value investing Active management
620	Coordination in Multiagent Reinforcement Learning: A Bayesian Approach Georgios Chalkiadakis Craig Boutilier Add to Reading List Source URL: www.intelligence.tuc.gr Language: English - Date: 2009-03-02 16:24:03 Game theory Reinforcement learning Nash equilibrium Q-learning Strategy Partially observable Markov decision process Action selection Best response Bellman equation Zero-sum game Agent-based model Solution concept

UPDATE